Nuprl Definition : es-state-after
11,40
postcript
pdf
es-state-after(
es
;
e
)(
x
) == es-after(
es
;
x
;
e
)
latex
Definitions
x
.
A
(
x
)
FDL editor aliases
es-state-after
origin
x.A(x)x.A(x)